Object theory - PDFSEARCH.IO - Document Search Engine

Object theory
Results: 981

#	Item
421	Compatibility and reuse in component-based systems via type and unit inference Christian K¨uhnel1 1) Andreas Bauer2,1 Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2007-09-04 21:01:39 Mathematics Programming language theory Object-oriented programming Polymorphism Subtype polymorphism Type system Structure Model theory Natural deduction Data types Type theory Software engineering
422	Enforcing Forward-Edge Control-Flow Integrity in GCC & LLVM Caroline Tice Google, Inc. Tom Roeder Google, Inc. Add to Reading List Source URL: www.pcc.me.uk Language: English - Date: 2014-07-25 19:20:56 Data types Object-oriented programming Type theory Primitive types Cross-platform software Virtual method table Pointer C Polymorphism Software engineering Computing Computer programming
423	Weakly Supervised Learning of Part-Based Spatial Models for Visual Object Recognition David J. Crandall and Daniel P. Huttenlocher Cornell University, Ithaca, NY 14850, USA, {crandall,dph}@cs.cornell.edu Add to Reading List Source URL: vision.soic.indiana.edu Language: English - Date: 2014-08-03 00:38:09 Machine learning Artificial intelligence Maximum likelihood Expectation–maximization algorithm Object recognition Supervised learning Markov random field Constellation model One-shot learning Statistics Estimation theory Statistical theory
424	Weakly Supervised Learning of Part-Based Spatial Models for Visual Object Recognition David J. Crandall and Daniel P. Huttenlocher Cornell University, Ithaca, NY 14850, USA, {crandall,dph}@cs.cornell.edu Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2006-02-18 10:40:24 Machine learning Artificial intelligence Maximum likelihood Expectation–maximization algorithm Object recognition Supervised learning Markov random field Constellation model One-shot learning Statistics Estimation theory Statistical theory
425	Accelerated Training of Linear Object Detectors Charles Dubout Franc¸ois Fleuret Idiap Research Institute EPFL Add to Reading List Source URL: cvpr13ws.is.tue.mpg.de Language: English - Date: 2013-06-26 12:59:39 Fourier analysis Filter theory Digital signal processing Signal processing Convolution Filter Fast Fourier transform Electronic filter Mathematical analysis Mathematics Electronics
426	Aspect-Oriented Development Using Protocol Modeling Ashley McNeile1 and Ella Roubtsova2 1 Metamaxim Ltd, 48 Brunswick Gardens, London W8 4AN, UK Add to Reading List Source URL: www.metamaxim.com Language: English - Date: 2010-05-16 13:32:29 UML diagrams Object-oriented programming Automata theory Digital electronics Theoretical computer science Finite-state machine Mixin UML state machine ECO Software engineering Models of computation Computing
427	Core Foundation Design Concepts Contents Introduction to Core Foundation Design Concepts 4 Add to Reading List Source URL: developer.apple.com Language: English - Date: 2015-03-08 19:44:38 Computer programming Object-oriented programming Type theory Functional programming Primitive types Core Foundation Immutable object Reference Object Software engineering Computing Data types
428	Shape, Albedo, and Illumination from a Single Image of an Unknown Object Jonathan T. Barron and Jitendra Malik UC Berkeley {barron, malik}@eecs.berkeley.edu Abstract Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2012-07-28 19:03:27 Probability and statistics Statistics Computer vision Statistical theory Optics Illumination Entropy Prior probability Photometric stereo Image processing Information theory Computer graphics
429	Spatial Priors for Part-Based Recognition using Statistical Models David Crandall1 Cornell University [removed] Pedro Felzenszwalb Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2005-04-11 14:45:39 Image processing Artificial intelligence Estimation theory Object recognition Maximum likelihood Edge detection One-shot learning Scale-invariant feature transform Computer vision Vision Imaging
430	Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation Elie Richa1,2 , Etienne Borde1 , Laurent Pautet1 Matteo Bordin2 , and José F. Ruiz2 1 Add to Reading List Source URL: www.adacore.com Language: English - Date: 2014-10-09 10:02:01 Graph rewriting Software development Theoretical computer science Graph theory Object Constraint Language Transformation language Metamodeling Model transformation Predicate transformer semantics Unified Modeling Language Systems engineering Software engineering

UPDATE